module M

if (true, true) then () else ()
